Template:STRUCTURE 3ltl